Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
701	A Realizability Model for a Semantical Value Restriction Rodolphe Lepigre Laboratoire de Math´ematiques, UMR 5127 CNRS Universit´e Savoie Mont-BlancLe Bourget-du-Lac, France Add to Reading List Source URL: lepigre.fr Language: English - Date: 2015-03-20 16:12:30 Proof theory Symbol Curry–Howard correspondence Valuation Lambda calculus Natural deduction Μ operator Mathematics Theoretical computer science Abstract algebra
702	About SparseLab David Donoho, Victoria Stodden, Yaakov Tsaig Stanford University Version 2.0 March, 2007 Abstract Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2009-09-12 14:31:24 MATLAB Numerical linear algebra Array programming Linear programming Cp Find MEX file Path Computer file Software Computing Array programming languages
703	Automatic Performance Optimization in ViennaCL for GPUs Karl Rupp Josef Weinbub Add to Reading List Source URL: www.iue.tuwien.ac.at Language: English - Date: 2012-01-10 08:17:52 Nvidia Graphics hardware GPGPU Numerical software OpenCL CUDA Graphics processing unit Basic Linear Algebra Subprograms GeForce Video cards Computer hardware Computing
704	Agenda for West Midlands Introduction to Public Health Intelligence DAY 2 – Thursday 4th February 2010 Data Sources and Basic Techniques Room A, Birmingham Research Park, B15 2SQ Add to Reading List Source URL: www.wmpho.org.uk Language: English - Date: 2010-01-19 06:57:29 West Midlands University of Birmingham Computer algebra Data management Record linkage
705	KMAP3 is a very powerful Boolean calculator is a very powerful tool for evaluating, calculating of Boolean Algebra expressions. The best Boolean calculator on internet ! Even wolframalpha.com does not have such powerful Add to Reading List Source URL: omidmotahed.com Language: English - Date: 2015-02-15 00:54:58 Boolean algebra Algebra Diagrams Karnaugh map Logic in computer science Algebraic logic Mathematical logic Mathematics
706	Efficient Belief Propagation for Early Vision Pedro F. Felzenszwalb Computer Science Department, University of Chicago Daniel P. Huttenlocher Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-04-07 21:33:19 Image processing Fourier analysis Binary operations Functional analysis Parabola Convolution Belief propagation FP Envelope Mathematical analysis Mathematics Abstract algebra
707	New Absoft Pro Fortran v11.0 Build OpenMP Code on Snow Leopard Multi-Core Macs ROCHESTER HILLS, Michigan, October, 2009 – Absoft Corporation, a leading developer of compilers, debuggers and software development tools f Add to Reading List Source URL: www.absoft.com Language: English - Date: 2013-05-29 09:32:50 Numerical linear algebra Numerical software Parallel computing Array programming languages Application programming interfaces Fortran OpenMP The Portland Group Automatic parallelization Software Computing Computer programming
708	Optimization and Engineering manuscript No. (will be inserted by the editor) The Optimization Test Environment Ferenc Domes · Martin Fuchs · Hermann Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2013-11-05 11:30:39 Mathematical optimization Applied mathematics Numerical software Computer algebra systems Mathematical modeling Linear programming KNITRO AIMMS CUTEr Operations research Numerical analysis Mathematical software
709	Fisher and VLAD with FLAIR Koen E. A. van de Sande1 Cees G. M. Snoek1 Arnold W. M. Smeulders12 1 ISLA, Informatics Institute, University of Amsterdam, Amsterdam, The Netherlands Add to Reading List Source URL: isis-data.science.uva.nl Language: English - Date: 2014-06-21 06:52:47 Image processing Abstract algebra Linear algebra Feature Euclidean vector Vector space Segmentation Bag of words model in computer vision Scale-invariant feature transform Algebra Mathematics Computer vision
710	Translations of Cellular Automata for Efficient Simulation Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:39 Boolean algebra Cross-platform software Diagrams Binary decision diagram Model checking Cellular automaton Java Lookup table C Computing Computer programming Software engineering

UPDATE